<?php


<<__EntryPoint>>
function main_105() {
var_dump((integer)'10');
var_dump((integer)'0x10');
var_dump((integer)'010');
var_dump(10 + 0x10);
var_dump(10 + 010);
}
